Pinning of magnetic domain walls in multiferroics

The behavior of antiferromagnetic domain wall (ADW) against the background of a periodic ferroelectric domain structure has been investigated. It has been shown that the structure and the energy of ADW change due to the interaction with a ferroelectric domain structure. The ferroelectric domain boundaries play the role of pins for magnetic spins, the spin density changes in the vicinity of ferroelectric walls. The ADW energy becomes a periodical function on a coordinate which is the position of ADW relative to the ferroelectric domain structure. It has been shown that the energy of the magnetic domain wall attains minimum values when the center of the ADW coincides with the ferroelectric wall and the periodic ferroelectric structure creates periodic coercitivity for the ADW. The neighbouring equilibrium states of the ADW are separated by a finite potential barrier.Comment: 4 pages, 2 figure

The pre-outburst flare of the A 0535+26 August/September 2005 outburst

We study the spectral and temporal behavior of the High Mass X-ray Binary A 0535+26 during a `pre-outburst flare' which took place ~5 d before the peak of a normal (type I) outburst in August/September 2005. We compare the studied behavior with that observed during the outburst. We analyse RXTE observations that monitored A 0535+26 during the outburst. We complete spectral and timing analyses of the data. We study the evolution of the pulse period, present energy-dependent pulse profiles both at the initial pre-outburst flare and close to outburst maximum, and measure how the cyclotron resonance-scattering feature (hereafter CRSF) evolves. We present three main results: a constant period P=103.3960(5)s is measured until periastron passage, followed by a spin-up with a decreasing period derivative of Pdot=(-1.69+/-0.04)x10^(-8)s/s at MJD 53618, and P remains constant again at the end of the main outburst. The spin-up provides evidence for the existence of an accretion disk during the normal outburst. We measure a CRSF energy of Ecyc~50kev during the pre-outburst flare, and Ecyc~46kev during the main outburst. The pulse shape, which varies significantly during both pre-outburst flare and main outburst, evolves strongly with photon energy.Comment: 4 pages, 4 figures, accepted for publication in A&A Letters. To be published in parallel to Postnov et al. 200

Analysing powers for the reaction n⃗p→ppπ−\vec{\rm n} {\rm p} \to {\rm p} {\rm p} \pi^{-} and for np elastic scattering from 270 to 570 MeV

The analysing power of the reaction ${\rm n}{\rm p} \to {\rm p}{\rm p} \pi^{-}$ for neutron energies between threshold and 570 MeV has been determined using a transversely polarised neutron beam at PSI. The reaction has been studied in a kinematically complete measurement using a time-of-flight spectrometer with large acceptance. Analysing powers have been determined as a function of the c.m. pion angle in different regions of the proton-proton invariant mass. They are compared to other data from the reactions ${\rm n}{\rm p} \to {\rm p}{\rm p} \pi^{-}$ and ${{\rm p}{\rm p} \to {\rm p}{\rm p} \pi^{0}}$. The np elastic scattering analysing power was determined as a by-product of the measurements.Comment: 12 pages, 6 figures, subitted to EPJ-

New Exclusion Limits for the Search of Scalar and Pseudoscalar Axion-Like Particles from "Light Shining Through a Wall"

Physics beyond the Standard Model predicts the possible existence of new particles that can be searched at the low energy frontier in the sub-eV range. The OSQAR photon regeneration experiment looks for "Light Shining through a Wall" from the quantum oscillation of optical photons into "Weakly Interacting Sub-eV Particles", such as axion or Axion-Like Particles (ALPs), in a 9 T transverse magnetic field over the unprecedented length of $2 \times 14.3$ m. In 2014, this experiment has been run with an outstanding sensitivity, using an 18.5 W continuous wave laser emitting in the green at the single wavelength of 532 nm. No regenerated photons have been detected after the wall, pushing the limits for the existence of axions and ALPs down to an unprecedented level for such a type of laboratory experiment. The di-photon couplings of possible pseudo-scalar and scalar ALPs can be constrained in the nearly massless limit to be less than $3.5\cdot 10^{-8}$ GeV$^{-1}$ and $3.2\cdot 10^{-8}$ GeV$^{-1}$, respectively, at 95% Confidence Level.Comment: 6 pages, 6 figure

The reaction np→ppπ−{n} {p} \to {p} {p} \pi^{-} from threshold up to 570 MeV

The reaction ${n} {p} \to {p} {p} \pi^{-}$ has been studied in a kinematically complete measurement with a large acceptance time-of-flight spectrometer for incident neutron energies between threshold and 570 MeV. The proton-proton invariant mass distributions show a strong enhancement due to the pp($^{1}{S}_{0}$) final state interaction. A large anisotropy was found in the pion angular distributions in contrast to the reaction ${p}{p} \to {p}{p} \pi^{0}$. At small energies, a large forward/backward asymmetry has been observed. From the measured integrated cross section $\sigma({n}{p} \to {\rm p}{p} \pi^{-})$, the isoscalar cross section $\sigma_{01}$ has been extracted. Its energy dependence indicates that mainly partial waves with Sp final states contribute. Note: Due to a coding error, the differential cross sections ${d \sigma}/{d M_{pp}}$ as shown in Fig. 9 are too small by a factor of two, and inn Table 3 the differential cross sections ${d \sigma}/{d \Omega_{\pi}^{*}}$ are too large by a factor of $10/2\pi$. The integrated cross sections and all conclusions remain unchanged. A corresponding erratum has been submitted and accepted by European Physics Journal.Comment: 18 pages, 16 figure

Labelled Natural Deduction for Substructural Logics

In this paper a uniform methodology to perform Natural Deduction over the family of linear, relevance and intuitionistic logics is proposed. The methodology follows the Labelled Deductive Systems (LDS) discipline, where the deductive process manipulates declarative units { formulas labelled according to a labelling algebra. In the system de-scribed here, labels are either ground terms or variables of a given labelling language and inference rules manipulate formulas and labels simultaneously, generating (whenever necessary) constraints on the labels used in the rules. A set of natural deduction style inference rules is given, and the notion of a derivation is dened which associates a la-belled natural deduction style \structural derivation " with a set of generated constraints. Algorithmic procedures, based on a technique called resource abduction, are dened to solve the constraints generated within a derivation, and their termination conditions dis-cussed. A natural deduction derivation is correct with respect to a given substructural logic, if, under the condition that the algorithmic procedures terminate, the associated set of constraints is satised with respect to the underlying labelling algebra. This is shown by proving that the natural deduction system is sound and complete with respect to the LKE tableaux system [DG94].

Labelled natural deduction for substructural logics

In this paper a uniform methodology to perform Natural Deduction over the family of linear, relevance and intuitionistic logics is proposed. The methodology follows the Labelled Deductive Systems (LDS) discipline, where the deductive process manipulates declarative units - formulas labelled according to a labelling algebra. In the system described here, labels are either ground terms or variables of a given labelling language and inference rules manipulate formulas and labels simultaneously, generating (whenever necessary) constraints on the labels used in the rules. A set of natural deduction style inference rules is given, and the notion of a derivation is defined which associates a labelled natural deduction style "structural derivation" with a set of generated constraints. Algorithmic procedures, based on a technique called resource abduction, are defined to solve the constraints generated within a derivation, and their termination conditions discussed. A natural deduction derivation is correct with respect to a given substructural logic, if, under the condition that the algorithmic procedures terminate, the associated set of constraints is satisfied with respect to the underlying labelling algebra. This is shown by proving that the natural deduction system is sound and complete with respect to the LKE tableaux system